projects
/
cargo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
018dc95
8513dc5
)
Auto merge of #2499 - IvanUkhov:typography, r=alexcrichton
author
bors
<bors@rust-lang.org>
Fri, 18 Mar 2016 22:02:02 +0000
(15:02 -0700)
committer
bors
<bors@rust-lang.org>
Fri, 18 Mar 2016 22:02:02 +0000
(15:02 -0700)
doc/manifest: turn the list in Rules into an unordered one
Please see the comments in #2493.
Trivial merge